Knowledge-Based Automatic Generation of Linear Algebra Algorithms and Code

摘要

This dissertation focuses on the design and the implementation ofdomain-specific compilers for linear algebra matrix equations. The developmentof efficient libraries for such equations, which lie at the heart of mostsoftware for scientific computing, is a complex process that requires expertisein a variety of areas, including the application domain, algorithms, numericalanalysis and high-performance computing. Moreover, the process involves thecollaboration of several people for a considerable amount of time. With ourcompilers, we aim to relieve the developers from both designing algorithms andwriting code, and to generate routines that match or even surpass theperformance of those written by human experts.